Keyword Search over RDF Graphs Shady Elbassuoni ∗† Roi Blanco Max-Planck Institute for Informatics

Source URL: livingknowledge.europarchive.org

• Computing
• Information science
• Data management
• Semantic Web
• Resource Description Framework
• Web services
• Knowledge representation
• SPARQL
• XML retrieval
• Semantic triple
• Information retrieval
• Semantic search

PROF. DR. HARALD BAUM MAX - PLANCK - INSTITUT FÜR AUSLÄNDISCHES UND INTERNATIONALES PRIVATRECHT * MAX PLANCK INSTITUTE FOR COMPARATIVE AND INTERNATIONAL PRIVATE LAW

Source URL: www.mpipriv.de

GRAVITATIONAL WAVES DETECTED FROM SECOND PAIR OF COLLIDING BLACK HOLES The LIGO Scientific Collaboration and the Virgo collaboration identify a second gravitational wave event in the data from Advanced LIGO detectors On

Source URL: www.ligo.org

• Gravitational-wave astronomy
• General relativity
• Physics
• Astronomy
• LIGO
• Gravitational-wave observatory
• Gravitational wave
• Virgo interferometer
• First observation of gravitational waves
• GEO600
• Max Planck Institute for Gravitational Physics
• Gabriela Gonzlez

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

German-South African Cooperation in Research, Science and Technology Newsletter January 2009 A Happy New Year to our readers! This newsletter is published by the German Embassy Pretoria. It discusses issues

Source URL: www.gpneuro.uni-goettingen.de

• Max Planck Society
• German Primate Center
• Doctor of Philosophy
• Gottfried Wilhelm Leibniz Prize
• Science and technology in Germany
• International Max Planck Research School for Molecular Biology
• Science and technology
• International Max Planck Research School for Neurosciences

KOHLE KUNSTSTOFF KATALYSE Tag der offenen Tür am Max-PlanckInstitut für Kohlenforschung Max-Planck-Institut

Source URL: www.kofo.mpg.de

LAD Conferences L a b o r a t o i r e d e r e c h e r c h e

Source URL: asymmetryproject.uqam.ca

• Neuroscience
• Cognitive science
• Academia
• Max Planck Institute for Human Cognitive and Brain Sciences
• Artificial neural network
• ACT-R
• Biological neural network
• Syntax

Generalizing Language Comparison Michael Cysouw Max Planck Institute for Evolutionary Anthropology, Leipzig The method proposed in the target article by Croft & Poole (henceforth C&P) is an

Source URL: cysouw.de

• Historical linguistics
• Language comparison
• Linguistics
• Statistical distance
• Cognition
• Academia
• Comparative
• Grammar
• Matrix
• Language
• Similarity
• Array data type

Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany

Source URL: people.mpi-inf.mpg.de

• Mathematical logic
• Proof theory
• Mathematics
• Philosophy of mathematics
• CurryHoward correspondence
• Dependently typed programming
• Logic in computer science
• Philosophy of computer science
• Type theory
• Ordinal number
• Constructible universe
• Functor

Algorithms against Anarchy: Understanding Non-Truthful Mechanisms ¨ PAUL DUTTING , London School of Economics ¨ Informatik THOMAS KESSELHEIM, Max-Planck-Institut fur

Source URL: paulduetting.com

• Game theory
• Mathematics
• Price of anarchy
• Algorithm
• Single-parameter utility
• Randomized algorithm
• Valuation
• VickreyClarkeGroves auction
• Smooth number